аксиома порядка

См. также в других словарях:

• Аксиома Архимеда — для отрезков …   Википедия

• Аксиома Паша — Аксиома Паша  одна из аксиом порядка в системе аксиом Гильберта евклидовой геометрии. Формулировка аксиомы использует понятие «лежать внутри отрезка», причем отрезок здесь рассматривается как система двух различных точек и , принадлежащих… …   Википедия

• Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… …   Википедия

• СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… …   Математическая энциклопедия

• КОЛМОГОРОВА АКСИОМА — аксиома Т 0, самая слабая из всех отделимости аксиом в общей топологии; введена А. Н. Колмогоровым. Топология, пространство удовлетворяет этой аксиоме, или есть Т 0 п ространство, пространство Колмогорова, если, каковы бы ни были две различные… …   Математическая энциклопедия

• ПАША АКСИОМА — одна из аксиом порядка в Гильберта системе аксиом евклидовой геометрии. Формулировка аксиомы использует понятие лежать внутри отрезка , причем отрезок здесь рассматривается как система двух различных точек Аи В, принадлежащих одной прямой; точки …   Математическая энциклопедия

• ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… …   Математическая энциклопедия

• ЛОГИЧЕСКАЯ АКСИОМА — формула логико математич. языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. символов. Л. а. выбираются таким образом, чтобы множество логических следствий из… …   Математическая энциклопедия

• Аксиоматика вещественных чисел — система аксиом, один из способов определения вещественных (действительных) чисел. Далее символ обозначает логическое «и». Содержание 1 Аксиомы сложения …   Википедия

• Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

• Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом  утверждений, принимаемых без доказательства,  из которых выводятся все теоремы и у …   Википедия